int32 result
